(define (problem typed-blocks1)

(:domain typed-blocksworld)

(:requirements :typing)

(:objects Hand - hand A B C - block)

(:init (clear A) (on A B) (on B C) (on-table C) (empty Hand))

(:goal (and (on C B) (on B A))))

